Asperti, Andrea: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A categorical understanding of environment machines

Asperti, Andrea

Journal:

Journal of Functional Programming

Year:

1992

Language:

english

File:

PDF, 1.67 MB

english, 1992

2

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

3

Categorical models of polymorphism

Andrea Asperti, Simone Martini

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 3.40 MB

english, 1992

4

The bologna optimal higher-order machine

Asperti, Andrea, Giovannetti, Cecilia, Naletto, Andrea

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.83 MB

english, 1996

5

Pentosan Polysulfate to control hepcidin expression in vitro and in vivo

Asperti, Michela, Denardo, Andrea, Gryzik, Magdalena, Castagna, Annalisa, Girelli, Domenico, Naggi, Annamaria, Arosio, Paolo, Poli, Maura

Journal:

Biochemical Pharmacology

Year:

2020

Language:

english

File:

PDF, 1.81 MB

english, 2020

6

LINEAR LOGIC, COMONADS AND OPTIMAL REDUCTIONS

Asperti, Andrea

Journal:

Fundamenta Informaticae

Year:

1995

File:

PDF, 891 KB

1995

7

Paths, computations and labels in the λ-calculus

Andrea Asperti, Cosimo Laneve

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.16 MB

english, 1995

8

Interaction systems II: The practice of optimal reductions

Andrea Asperti, Cosimo Laneve

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.72 MB

english, 1996

9

An Interactive Driver for Goal-directed Proof Strategies

Andrea Asperti, Enrico Tassi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 501 KB

english, 2009

10

Safe Operators: Brackets Closed Forever Optimizing Optimal λ-Calculus Implementations

Andrea Asperti, Juliusz Chroboczek

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1997

Language:

english

File:

PDF, 589 KB

english, 1997

11

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

12

Molecular Dynamics Reveal that isoDGR-Containing Cyclopeptides Are True αvβ3 Antagonists Unable To Promote Integrin Allostery and Activation

Dr. Michela Ghitti, Dr. Andrea Spitaleri, Dr. Barbara Valentinis, Dr. Silvia Mari, Dr. Claudia Asperti, Dr. Catia Traversari, Dr. Gian Paolo Rizzardi, Dr. Giovanna Musco

Journal:

Angewandte Chemie

Year:

2012

Language:

english

File:

PDF, 3.80 MB

english, 2012

13

Molecular Dynamics Reveal that isoDGR-Containing Cyclopeptides Are True αvβ3 Antagonists Unable To Promote Integrin Allostery and Activation

Dr. Michela Ghitti, Dr. Andrea Spitaleri, Dr. Barbara Valentinis, Dr. Silvia Mari, Dr. Claudia Asperti, Dr. Catia Traversari, Dr. Gian Paolo Rizzardi, Dr. Giovanna Musco

Journal:

Angewandte Chemie International Edition

Year:

2012

Language:

english

File:

PDF, 3.81 MB

english, 2012

14

Parallel Beta Reduction Is Not Elementary Recursive

Andrea Asperti, Harry G. Mairson

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 309 KB

english, 2001

15

Stability and computability in coherent domains

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 1.28 MB

english, 1990

16

(Optimal) duplication is not elementary recursive

Andrea Asperti, Paolo Coppola, Simone Martini

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 701 KB

english, 2004

17

Preface

Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 69 KB

english, 2009

18

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

19

Zen and the art of formalisation

ASPERTI, ANDREA, AVIGAD, JEREMY

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 415 KB

english, 2011

20

[Lecture Notes in Computer Science] Mathematical Knowledge Management Volume 2594 || On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions

Asperti, Andrea, Buchberger, Bruno, Davenport, James Harold

Year:

2003

Language:

english

File:

PDF, 170 KB

english, 2003

21

[Lecture Notes in Computer Science] Mathematical Knowledge Management Volume 2594 || Managing Digital Mathematical Discourse

Asperti, Andrea, Buchberger, Bruno, Davenport, James Harold

Year:

2003

Language:

english

File:

PDF, 170 KB

english, 2003

22

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - The Cost of Usage in the ?-Calculus

Asperti, Andrea, Levy, Jean-Jacques

Year:

2013

Language:

english

File:

PDF, 229 KB

english, 2013

23

Causal dependencies in multiplicative linear logic with MIX

Asperti, Andrea

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.63 MB

english, 1995

24

Interaction Systems I: The theory of optimal reductions

Asperti, Andrea, Laneve, Cosimo

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 2.76 MB

english, 1994

25

A sufficient condition for completability of partial combinatory algebras

Asperti, Andrea, Ciabattoni, Agata

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 424 KB

english, 1997

26

[Lecture Notes in Computer Science] Mathematical Knowledge Management Volume 3119 || Flexible Encoding of Mathematics on the Computer

Asperti, Andrea, Bancerek, Grzegorz, Trybulec, Andrzej

Year:

2004

Language:

english

File:

PDF, 426 KB

english, 2004

27

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - The intensional content of Rice's theorem

Asperti, Andrea

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

28

The intensional content of Rice's theorem

Asperti, Andrea

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

29

A formalization of multi-tape Turing machines

Asperti, Andrea, Ricciotti, Wilmer

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

30

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Type systems for dummies

Asperti, Andrea, Guidi, Ferruccio

Year:

2012

Language:

english

File:

PDF, 675 KB

english, 2012

31

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - The Speedup Theorem in a Primitive Recursive Framework

Asperti, Andrea

Year:

2015

Language:

english

File:

PDF, 603 KB

english, 2015

32

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Parallel beta reduction is not elementary recursive

Asperti, Andrea, Mairson, Harry G.

Year:

1998

Language:

english

File:

PDF, 1.72 MB

english, 1998

33

Intuitionistic Light Affine Logic

Asperti, Andrea, Roversi, Luca

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 659 KB

english, 2002

34

Computational Complexity Via Finite Types

Asperti, Andrea

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 286 KB

english, 2015

35

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Implicative formulae in the proofs of computations' analogy

Asperti, Andrea, Ferrari, Gian Luigi, Gorrieri, Roberto

Year:

1990

Language:

english

File:

PDF, 1017 KB

english, 1990

36

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - On the complexity of beta-reduction

Asperti, Andrea

Year:

1996

Language:

english

File:

PDF, 779 KB

english, 1996

37

Reverse Complexity

Asperti, Andrea

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 2.10 MB

english, 2015

38

Social processes, program verification and all that

ASPERTI, ANDREA, GEUVERS, HERMAN, NATARAJAN, RAJA

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 149 KB

english, 2009

39

Hepatic heparan sulfate is a master regulator of hepcidin expression and iron homeostasis in human hepatocytes and mice.

Poli, Maura, Anower-E-Khuda, Ferdous, Asperti, Michela, Ruzzenenti, Paola, Gryzik, Magdalena, Denardo, Andrea, Gordts, Philip L. S. M., Arosio, Paolo, Esko, Jeffrey D.

Journal:

Journal of Biological Chemistry

Year:

2019

Language:

english

File:

PDF, 1.15 MB

english, 2019

40

Crawling in Rogue's dungeons with deep reinforcement techniques

Asperti, Andrea, Cortesi, Daniele, de Pieri, Carlo, Pedrini, Gianmaria, Sovrano, Francesco

Journal:

IEEE Transactions on Games

Year:

2019

Language:

english

File:

PDF, 1.80 MB

english, 2019

41

The Antitumor Didox Acts as an Iron Chelator in Hepatocellular Carcinoma Cells

Asperti, Michela, Cantamessa, Luca, Ghidinelli, Simone, Gryzik, Magdalena, Denardo, Andrea, Giacomini, Arianna, Longhi, Giovanna, Fanzani, Alessandro, Arosio, Paolo, Poli, Maura

Journal:

Pharmaceuticals

Year:

2019

Language:

english

File:

PDF, 3.21 MB

english, 2019

42

Correction: Hepatic heparan sulfate is a master regulator of hepcidin expression and iron homeostasis in human hepatocytes and mice.

Poli, Maura, Anower-E-Khuda, Ferdous, Asperti, Michela, Ruzzenenti, Paola, Gryzik, Magdalena, Denardo, Andrea, Gordts, Philip L. S. M., Arosio, Paolo, Esko, Jeffrey D.

Journal:

Journal of Biological Chemistry

Year:

2020

Language:

english

File:

PDF, 49 KB

english, 2020

43

NCOA4-mediated ferritinophagy promotes ferroptosis induced by erastin, but not by RSL3 in HeLa cells

Gryzik, Magdalena, Asperti, Michela, Denardo, Andrea, Arosio, Paolo, Poli, Maura

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Cell Research

Year:

2021

File:

PDF, 6.28 MB

2021

44

BMP6 binding to heparin and heparan sulfate is mediated by N-terminal and C-terminal clustered basic residues

Denardo, Andrea, Elli, Stefano, Federici, Stefania, Asperti, Michela, Gryzik, Magdalena, Ruzzenenti, Paola, Carmona, Fernando, Bergese, Paolo, Naggi, Annamaria, Arosio, Paolo, Poli, Maura

Journal:

Biochimica et Biophysica Acta (BBA) - General Subjects

Year:

2021

File:

PDF, 4.47 MB

2021

45

Balancing Reconstruction Error and Kullback-Leibler Divergence in Variational Autoencoders

Asperti, Andrea, Trentin, Matteo

Journal:

Year:

2020

File:

PDF, 1.70 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски